The group of equivalence classes of elements of <i>W</i>(<i>S</i>) with the group operation being concatenation of equivalence classes of words.